5.1 Matching, Teorema Di König/Egervary, Gallai